H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 48.722 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ LR

mainModule Main

((lines :: [Char] -> [[Char]]) :: [Char] -> [[Char]])

module Main where

import qualified Prelude

Lambda Reductions:
The following Lambda expression

\(l,_)→l

is transformed to

l0 (l,_) = l

The following Lambda expression

\(_,s')→s'

is transformed to

s'0 (_,s') = s'

The following Lambda expression

\(_,zs)→zs

is transformed to

zs0 (_,zs) = zs

The following Lambda expression

\(ys,_)→ys

is transformed to

ys0 (ys,_) = ys

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

mainModule Main

((lines :: [Char] -> [[Char]]) :: [Char] -> [[Char]])

module Main where

import qualified Prelude

Case Reductions:
The following Case expression

case s' of
[] → []

_ : s'' → lines s''

is transformed to

lines0 [] = []

lines0 (_ : s'') = lines s''

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ BR

mainModule Main

((lines :: [Char] -> [[Char]]) :: [Char] -> [[Char]])

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.
Binding Reductions:
The bind variable of the following binding Pattern

xs@(vz : wu)

is replaced by the following term

vz : wu

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

mainModule Main

((lines :: [Char] -> [[Char]]) :: [Char] -> [[Char]])

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

The following Function with conditions

span p [] = ([],[])

span p (vz : wu)

| p vz

= (vz : ys,zs)

| otherwise

= ([],vz : wu)

where

vu43 = span p wu

ys = ys0 vu43

ys0 (ys,wv) = ys

zs = zs0 vu43

zs0 (ww,zs) = zs

is transformed to

span p [] = span3 p []

span p (vz : wu) = span2 p (vz : wu)

span2 p (vz : wu) =

span1 p vz wu (p vz)

where

span0 p vz wu True = ([],vz : wu)

span1 p vz wu True = (vz : ys,zs)

span1 p vz wu False = span0 p vz wu otherwise

vu43 = span p wu

ys = ys0 vu43

ys0 (ys,wv) = ys

zs = zs0 vu43

zs0 (ww,zs) = zs

span3 p [] = ([],[])

span3 xu xv = span2 xu xv

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

mainModule Main

((lines :: [Char] -> [[Char]]) :: [Char] -> [[Char]])

module Main where

import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

let

l = l0 vu44

l0 (l,vv) = l

lines0 [] = []

lines0 (vw : s'') = lines s''

s' = s'0 vu44

s'0 (vx,s') = s'

vu44 = break ('\10' ==) s

in l : lines0 s'

are unpacked to the following functions on top level

linesL xw = linesL0 xw (linesVu44 xw)

linesS'0 xw (vx,s') = s'

linesVu44 xw = break ('\10' ==) xw

linesL0 xw (l,vv) = l

linesS' xw = linesS'0 xw (linesVu44 xw)

linesLines0 xw [] = []

linesLines0 xw (vw : s'') = lines s''

The bindings of the following Let/Where expression

span1 p vz wu (p vz)

where

span0 p vz wu True = ([],vz : wu)

span1 p vz wu True = (vz : ys,zs)

span1 p vz wu False = span0 p vz wu otherwise

vu43 = span p wu

ys = ys0 vu43

ys0 (ys,wv) = ys

zs = zs0 vu43

zs0 (ww,zs) = zs

are unpacked to the following functions on top level

span2Span1 xx xy p vz wu True = (vz : span2Ys xx xy,span2Zs xx xy)

span2Span1 xx xy p vz wu False = span2Span0 xx xy p vz wu otherwise

span2Span0 xx xy p vz wu True = ([],vz : wu)

span2Ys0 xx xy (ys,wv) = ys

span2Vu43 xx xy = span xx xy

span2Ys xx xy = span2Ys0 xx xy (span2Vu43 xx xy)

span2Zs0 xx xy (ww,zs) = zs

span2Zs xx xy = span2Zs0 xx xy (span2Vu43 xx xy)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

mainModule Main

((lines :: [Char] -> [[Char]]) :: [Char] -> [[Char]])

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

mainModule Main

(lines :: [Char] -> [[Char]])

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="lines",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="lines xz3",fontsize=16,color="burlywood",shape="triangle"];9438[label="xz3/xz30 : xz31",fontsize=10,color="white",style="solid",shape="box"];3 -> 9438[label="",style="solid", color="burlywood", weight=9];
9438 -> 4[label="",style="solid", color="burlywood", weight=3];
9439[label="xz3/[]",fontsize=10,color="white",style="solid",shape="box"];3 -> 9439[label="",style="solid", color="burlywood", weight=9];
9439 -> 5[label="",style="solid", color="burlywood", weight=3];
4[label="lines (xz30 : xz31)",fontsize=16,color="black",shape="box"];4 -> 6[label="",style="solid", color="black", weight=3];
5[label="lines []",fontsize=16,color="black",shape="box"];5 -> 7[label="",style="solid", color="black", weight=3];
6[label="linesL (xz30 : xz31) : linesLines0 (xz30 : xz31) (linesS' (xz30 : xz31))",fontsize=16,color="green",shape="box"];6 -> 8[label="",style="dashed", color="green", weight=3];
6 -> 9[label="",style="dashed", color="green", weight=3];
7[label="[]",fontsize=16,color="green",shape="box"];8[label="linesL (xz30 : xz31)",fontsize=16,color="black",shape="box"];8 -> 10[label="",style="solid", color="black", weight=3];
9[label="linesLines0 (xz30 : xz31) (linesS' (xz30 : xz31))",fontsize=16,color="black",shape="box"];9 -> 11[label="",style="solid", color="black", weight=3];
10[label="linesL0 (xz30 : xz31) (linesVu44 (xz30 : xz31))",fontsize=16,color="black",shape="box"];10 -> 12[label="",style="solid", color="black", weight=3];
11[label="linesLines0 (xz30 : xz31) (linesS'0 (xz30 : xz31) (linesVu44 (xz30 : xz31)))",fontsize=16,color="black",shape="box"];11 -> 13[label="",style="solid", color="black", weight=3];
12 -> 14[label="",style="dashed", color="red", weight=0];
12[label="linesL0 (xz30 : xz31) (break (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))) ==) (xz30 : xz31))",fontsize=16,color="magenta"];12 -> 15[label="",style="dashed", color="magenta", weight=3];
12 -> 16[label="",style="dashed", color="magenta", weight=3];
12 -> 17[label="",style="dashed", color="magenta", weight=3];
13 -> 18[label="",style="dashed", color="red", weight=0];
13[label="linesLines0 (xz30 : xz31) (linesS'0 (xz30 : xz31) (break (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))) ==) (xz30 : xz31)))",fontsize=16,color="magenta"];13 -> 19[label="",style="dashed", color="magenta", weight=3];
13 -> 20[label="",style="dashed", color="magenta", weight=3];
13 -> 21[label="",style="dashed", color="magenta", weight=3];
15[label="xz31",fontsize=16,color="green",shape="box"];16[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))",fontsize=16,color="green",shape="box"];17[label="xz30",fontsize=16,color="green",shape="box"];14[label="linesL0 (xz5 : xz6) (break (Char (Succ xz7) ==) (xz5 : xz6))",fontsize=16,color="black",shape="triangle"];14 -> 22[label="",style="solid", color="black", weight=3];
19[label="xz31",fontsize=16,color="green",shape="box"];20[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))",fontsize=16,color="green",shape="box"];21[label="xz30",fontsize=16,color="green",shape="box"];18[label="linesLines0 (xz9 : xz10) (linesS'0 (xz9 : xz10) (break (Char (Succ xz11) ==) (xz9 : xz10)))",fontsize=16,color="black",shape="triangle"];18 -> 23[label="",style="solid", color="black", weight=3];
22[label="linesL0 (xz5 : xz6) (span (not . (Char (Succ xz7) ==)) (xz5 : xz6))",fontsize=16,color="black",shape="box"];22 -> 24[label="",style="solid", color="black", weight=3];
23[label="linesLines0 (xz9 : xz10) (linesS'0 (xz9 : xz10) (span (not . (Char (Succ xz11) ==)) (xz9 : xz10)))",fontsize=16,color="black",shape="box"];23 -> 25[label="",style="solid", color="black", weight=3];
24[label="linesL0 (xz5 : xz6) (span2 (not . (Char (Succ xz7) ==)) (xz5 : xz6))",fontsize=16,color="black",shape="box"];24 -> 26[label="",style="solid", color="black", weight=3];
25[label="linesLines0 (xz9 : xz10) (linesS'0 (xz9 : xz10) (span2 (not . (Char (Succ xz11) ==)) (xz9 : xz10)))",fontsize=16,color="black",shape="box"];25 -> 27[label="",style="solid", color="black", weight=3];
26[label="linesL0 (xz5 : xz6) (span2Span1 (not . (Char (Succ xz7) ==)) xz6 (not . (Char (Succ xz7) ==)) xz5 xz6 (not . (Char (Succ xz7) ==)))",fontsize=16,color="black",shape="box"];26 -> 28[label="",style="solid", color="black", weight=3];
27[label="linesLines0 (xz9 : xz10) (linesS'0 (xz9 : xz10) (span2Span1 (not . (Char (Succ xz11) ==)) xz10 (not . (Char (Succ xz11) ==)) xz9 xz10 (not . (Char (Succ xz11) ==))))",fontsize=16,color="black",shape="box"];27 -> 29[label="",style="solid", color="black", weight=3];
28[label="linesL0 (xz5 : xz6) (span2Span1 (not . (Char (Succ xz7) ==)) xz6 (not . (Char (Succ xz7) ==)) xz5 xz6 (not (Char (Succ xz7) == xz5)))",fontsize=16,color="black",shape="box"];28 -> 30[label="",style="solid", color="black", weight=3];
29[label="linesLines0 (xz9 : xz10) (linesS'0 (xz9 : xz10) (span2Span1 (not . (Char (Succ xz11) ==)) xz10 (not . (Char (Succ xz11) ==)) xz9 xz10 (not (Char (Succ xz11) == xz9))))",fontsize=16,color="black",shape="box"];29 -> 31[label="",style="solid", color="black", weight=3];
30[label="linesL0 (xz5 : xz6) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz6 (not . primEqChar (Char (Succ xz7))) xz5 xz6 (not (primEqChar (Char (Succ xz7)) xz5)))",fontsize=16,color="burlywood",shape="box"];9442[label="xz5/Char xz50",fontsize=10,color="white",style="solid",shape="box"];30 -> 9442[label="",style="solid", color="burlywood", weight=9];
9442 -> 32[label="",style="solid", color="burlywood", weight=3];
31[label="linesLines0 (xz9 : xz10) (linesS'0 (xz9 : xz10) (span2Span1 (not . primEqChar (Char (Succ xz11))) xz10 (not . primEqChar (Char (Succ xz11))) xz9 xz10 (not (primEqChar (Char (Succ xz11)) xz9))))",fontsize=16,color="burlywood",shape="box"];9443[label="xz9/Char xz90",fontsize=10,color="white",style="solid",shape="box"];31 -> 9443[label="",style="solid", color="burlywood", weight=9];
9443 -> 33[label="",style="solid", color="burlywood", weight=3];
32[label="linesL0 (Char xz50 : xz6) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz6 (not . primEqChar (Char (Succ xz7))) (Char xz50) xz6 (not (primEqChar (Char (Succ xz7)) (Char xz50))))",fontsize=16,color="black",shape="box"];32 -> 34[label="",style="solid", color="black", weight=3];
33[label="linesLines0 (Char xz90 : xz10) (linesS'0 (Char xz90 : xz10) (span2Span1 (not . primEqChar (Char (Succ xz11))) xz10 (not . primEqChar (Char (Succ xz11))) (Char xz90) xz10 (not (primEqChar (Char (Succ xz11)) (Char xz90)))))",fontsize=16,color="black",shape="box"];33 -> 35[label="",style="solid", color="black", weight=3];
34[label="linesL0 (Char xz50 : xz6) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz6 (not . primEqChar (Char (Succ xz7))) (Char xz50) xz6 (not (primEqNat (Succ xz7) xz50)))",fontsize=16,color="burlywood",shape="box"];9444[label="xz50/Succ xz500",fontsize=10,color="white",style="solid",shape="box"];34 -> 9444[label="",style="solid", color="burlywood", weight=9];
9444 -> 36[label="",style="solid", color="burlywood", weight=3];
9445[label="xz50/Zero",fontsize=10,color="white",style="solid",shape="box"];34 -> 9445[label="",style="solid", color="burlywood", weight=9];
9445 -> 37[label="",style="solid", color="burlywood", weight=3];
35[label="linesLines0 (Char xz90 : xz10) (linesS'0 (Char xz90 : xz10) (span2Span1 (not . primEqChar (Char (Succ xz11))) xz10 (not . primEqChar (Char (Succ xz11))) (Char xz90) xz10 (not (primEqNat (Succ xz11) xz90))))",fontsize=16,color="burlywood",shape="box"];9446[label="xz90/Succ xz900",fontsize=10,color="white",style="solid",shape="box"];35 -> 9446[label="",style="solid", color="burlywood", weight=9];
9446 -> 38[label="",style="solid", color="burlywood", weight=3];
9447[label="xz90/Zero",fontsize=10,color="white",style="solid",shape="box"];35 -> 9447[label="",style="solid", color="burlywood", weight=9];
9447 -> 39[label="",style="solid", color="burlywood", weight=3];
36[label="linesL0 (Char (Succ xz500) : xz6) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz6 (not . primEqChar (Char (Succ xz7))) (Char (Succ xz500)) xz6 (not (primEqNat (Succ xz7) (Succ xz500))))",fontsize=16,color="black",shape="box"];36 -> 40[label="",style="solid", color="black", weight=3];
37[label="linesL0 (Char Zero : xz6) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz6 (not . primEqChar (Char (Succ xz7))) (Char Zero) xz6 (not (primEqNat (Succ xz7) Zero)))",fontsize=16,color="black",shape="box"];37 -> 41[label="",style="solid", color="black", weight=3];
38[label="linesLines0 (Char (Succ xz900) : xz10) (linesS'0 (Char (Succ xz900) : xz10) (span2Span1 (not . primEqChar (Char (Succ xz11))) xz10 (not . primEqChar (Char (Succ xz11))) (Char (Succ xz900)) xz10 (not (primEqNat (Succ xz11) (Succ xz900)))))",fontsize=16,color="black",shape="box"];38 -> 42[label="",style="solid", color="black", weight=3];
39[label="linesLines0 (Char Zero : xz10) (linesS'0 (Char Zero : xz10) (span2Span1 (not . primEqChar (Char (Succ xz11))) xz10 (not . primEqChar (Char (Succ xz11))) (Char Zero) xz10 (not (primEqNat (Succ xz11) Zero))))",fontsize=16,color="black",shape="box"];39 -> 43[label="",style="solid", color="black", weight=3];
40 -> 1047[label="",style="dashed", color="red", weight=0];
40[label="linesL0 (Char (Succ xz500) : xz6) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz6 (not . primEqChar (Char (Succ xz7))) (Char (Succ xz500)) xz6 (not (primEqNat xz7 xz500)))",fontsize=16,color="magenta"];40 -> 1048[label="",style="dashed", color="magenta", weight=3];
40 -> 1049[label="",style="dashed", color="magenta", weight=3];
40 -> 1050[label="",style="dashed", color="magenta", weight=3];
40 -> 1051[label="",style="dashed", color="magenta", weight=3];
40 -> 1052[label="",style="dashed", color="magenta", weight=3];
41[label="linesL0 (Char Zero : xz6) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz6 (not . primEqChar (Char (Succ xz7))) (Char Zero) xz6 (not False))",fontsize=16,color="black",shape="box"];41 -> 46[label="",style="solid", color="black", weight=3];
42 -> 1117[label="",style="dashed", color="red", weight=0];
42[label="linesLines0 (Char (Succ xz900) : xz10) (linesS'0 (Char (Succ xz900) : xz10) (span2Span1 (not . primEqChar (Char (Succ xz11))) xz10 (not . primEqChar (Char (Succ xz11))) (Char (Succ xz900)) xz10 (not (primEqNat xz11 xz900))))",fontsize=16,color="magenta"];42 -> 1118[label="",style="dashed", color="magenta", weight=3];
42 -> 1119[label="",style="dashed", color="magenta", weight=3];
42 -> 1120[label="",style="dashed", color="magenta", weight=3];
42 -> 1121[label="",style="dashed", color="magenta", weight=3];
42 -> 1122[label="",style="dashed", color="magenta", weight=3];
43[label="linesLines0 (Char Zero : xz10) (linesS'0 (Char Zero : xz10) (span2Span1 (not . primEqChar (Char (Succ xz11))) xz10 (not . primEqChar (Char (Succ xz11))) (Char Zero) xz10 (not False)))",fontsize=16,color="black",shape="box"];43 -> 49[label="",style="solid", color="black", weight=3];
1048[label="xz7",fontsize=16,color="green",shape="box"];1049[label="xz500",fontsize=16,color="green",shape="box"];1050[label="xz6",fontsize=16,color="green",shape="box"];1051[label="xz500",fontsize=16,color="green",shape="box"];1052[label="xz7",fontsize=16,color="green",shape="box"];1047[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not (primEqNat xz114 xz115)))",fontsize=16,color="burlywood",shape="triangle"];9450[label="xz114/Succ xz1140",fontsize=10,color="white",style="solid",shape="box"];1047 -> 9450[label="",style="solid", color="burlywood", weight=9];
9450 -> 1098[label="",style="solid", color="burlywood", weight=3];
9451[label="xz114/Zero",fontsize=10,color="white",style="solid",shape="box"];1047 -> 9451[label="",style="solid", color="burlywood", weight=9];
9451 -> 1099[label="",style="solid", color="burlywood", weight=3];
46[label="linesL0 (Char Zero : xz6) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz6 (not . primEqChar (Char (Succ xz7))) (Char Zero) xz6 True)",fontsize=16,color="black",shape="box"];46 -> 54[label="",style="solid", color="black", weight=3];
1118[label="xz11",fontsize=16,color="green",shape="box"];1119[label="xz900",fontsize=16,color="green",shape="box"];1120[label="xz10",fontsize=16,color="green",shape="box"];1121[label="xz900",fontsize=16,color="green",shape="box"];1122[label="xz11",fontsize=16,color="green",shape="box"];1117[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not (primEqNat xz122 xz123))))",fontsize=16,color="burlywood",shape="triangle"];9452[label="xz122/Succ xz1220",fontsize=10,color="white",style="solid",shape="box"];1117 -> 9452[label="",style="solid", color="burlywood", weight=9];
9452 -> 1168[label="",style="solid", color="burlywood", weight=3];
9453[label="xz122/Zero",fontsize=10,color="white",style="solid",shape="box"];1117 -> 9453[label="",style="solid", color="burlywood", weight=9];
9453 -> 1169[label="",style="solid", color="burlywood", weight=3];
49[label="linesLines0 (Char Zero : xz10) (linesS'0 (Char Zero : xz10) (span2Span1 (not . primEqChar (Char (Succ xz11))) xz10 (not . primEqChar (Char (Succ xz11))) (Char Zero) xz10 True))",fontsize=16,color="black",shape="box"];49 -> 59[label="",style="solid", color="black", weight=3];
1098[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not (primEqNat (Succ xz1140) xz115)))",fontsize=16,color="burlywood",shape="box"];9454[label="xz115/Succ xz1150",fontsize=10,color="white",style="solid",shape="box"];1098 -> 9454[label="",style="solid", color="burlywood", weight=9];
9454 -> 1106[label="",style="solid", color="burlywood", weight=3];
9455[label="xz115/Zero",fontsize=10,color="white",style="solid",shape="box"];1098 -> 9455[label="",style="solid", color="burlywood", weight=9];
9455 -> 1107[label="",style="solid", color="burlywood", weight=3];
1099[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not (primEqNat Zero xz115)))",fontsize=16,color="burlywood",shape="box"];9456[label="xz115/Succ xz1150",fontsize=10,color="white",style="solid",shape="box"];1099 -> 9456[label="",style="solid", color="burlywood", weight=9];
9456 -> 1108[label="",style="solid", color="burlywood", weight=3];
9457[label="xz115/Zero",fontsize=10,color="white",style="solid",shape="box"];1099 -> 9457[label="",style="solid", color="burlywood", weight=9];
9457 -> 1109[label="",style="solid", color="burlywood", weight=3];
54[label="linesL0 (Char Zero : xz6) (Char Zero : span2Ys (not . primEqChar (Char (Succ xz7))) xz6,span2Zs (not . primEqChar (Char (Succ xz7))) xz6)",fontsize=16,color="black",shape="box"];54 -> 64[label="",style="solid", color="black", weight=3];
1168[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not (primEqNat (Succ xz1220) xz123))))",fontsize=16,color="burlywood",shape="box"];9458[label="xz123/Succ xz1230",fontsize=10,color="white",style="solid",shape="box"];1168 -> 9458[label="",style="solid", color="burlywood", weight=9];
9458 -> 1209[label="",style="solid", color="burlywood", weight=3];
9459[label="xz123/Zero",fontsize=10,color="white",style="solid",shape="box"];1168 -> 9459[label="",style="solid", color="burlywood", weight=9];
9459 -> 1210[label="",style="solid", color="burlywood", weight=3];
1169[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not (primEqNat Zero xz123))))",fontsize=16,color="burlywood",shape="box"];9460[label="xz123/Succ xz1230",fontsize=10,color="white",style="solid",shape="box"];1169 -> 9460[label="",style="solid", color="burlywood", weight=9];
9460 -> 1211[label="",style="solid", color="burlywood", weight=3];
9461[label="xz123/Zero",fontsize=10,color="white",style="solid",shape="box"];1169 -> 9461[label="",style="solid", color="burlywood", weight=9];
9461 -> 1212[label="",style="solid", color="burlywood", weight=3];
59[label="linesLines0 (Char Zero : xz10) (linesS'0 (Char Zero : xz10) (Char Zero : span2Ys (not . primEqChar (Char (Succ xz11))) xz10,span2Zs (not . primEqChar (Char (Succ xz11))) xz10))",fontsize=16,color="black",shape="box"];59 -> 69[label="",style="solid", color="black", weight=3];
1106[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not (primEqNat (Succ xz1140) (Succ xz1150))))",fontsize=16,color="black",shape="box"];1106 -> 1112[label="",style="solid", color="black", weight=3];
1107[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not (primEqNat (Succ xz1140) Zero)))",fontsize=16,color="black",shape="box"];1107 -> 1113[label="",style="solid", color="black", weight=3];
1108[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not (primEqNat Zero (Succ xz1150))))",fontsize=16,color="black",shape="box"];1108 -> 1114[label="",style="solid", color="black", weight=3];
1109[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not (primEqNat Zero Zero)))",fontsize=16,color="black",shape="box"];1109 -> 1115[label="",style="solid", color="black", weight=3];
64[label="Char Zero : span2Ys (not . primEqChar (Char (Succ xz7))) xz6",fontsize=16,color="green",shape="box"];64 -> 75[label="",style="dashed", color="green", weight=3];
1209[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not (primEqNat (Succ xz1220) (Succ xz1230)))))",fontsize=16,color="black",shape="box"];1209 -> 1243[label="",style="solid", color="black", weight=3];
1210[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not (primEqNat (Succ xz1220) Zero))))",fontsize=16,color="black",shape="box"];1210 -> 1244[label="",style="solid", color="black", weight=3];
1211[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not (primEqNat Zero (Succ xz1230)))))",fontsize=16,color="black",shape="box"];1211 -> 1245[label="",style="solid", color="black", weight=3];
1212[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not (primEqNat Zero Zero))))",fontsize=16,color="black",shape="box"];1212 -> 1246[label="",style="solid", color="black", weight=3];
69[label="linesLines0 (Char Zero : xz10) (span2Zs (not . primEqChar (Char (Succ xz11))) xz10)",fontsize=16,color="black",shape="box"];69 -> 81[label="",style="solid", color="black", weight=3];
1112 -> 1047[label="",style="dashed", color="red", weight=0];
1112[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not (primEqNat xz1140 xz1150)))",fontsize=16,color="magenta"];1112 -> 1170[label="",style="dashed", color="magenta", weight=3];
1112 -> 1171[label="",style="dashed", color="magenta", weight=3];
1113[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not False))",fontsize=16,color="black",shape="triangle"];1113 -> 1172[label="",style="solid", color="black", weight=3];
1114 -> 1113[label="",style="dashed", color="red", weight=0];
1114[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not False))",fontsize=16,color="magenta"];1115[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 (not True))",fontsize=16,color="black",shape="box"];1115 -> 1173[label="",style="solid", color="black", weight=3];
75[label="span2Ys (not . primEqChar (Char (Succ xz7))) xz6",fontsize=16,color="black",shape="triangle"];75 -> 89[label="",style="solid", color="black", weight=3];
1243 -> 1117[label="",style="dashed", color="red", weight=0];
1243[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not (primEqNat xz1220 xz1230))))",fontsize=16,color="magenta"];1243 -> 1249[label="",style="dashed", color="magenta", weight=3];
1243 -> 1250[label="",style="dashed", color="magenta", weight=3];
1244[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not False)))",fontsize=16,color="black",shape="triangle"];1244 -> 1251[label="",style="solid", color="black", weight=3];
1245 -> 1244[label="",style="dashed", color="red", weight=0];
1245[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not False)))",fontsize=16,color="magenta"];1246[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 (not True)))",fontsize=16,color="black",shape="box"];1246 -> 1252[label="",style="solid", color="black", weight=3];
81[label="linesLines0 (Char Zero : xz10) (span2Zs0 (not . primEqChar (Char (Succ xz11))) xz10 (span2Vu43 (not . primEqChar (Char (Succ xz11))) xz10))",fontsize=16,color="black",shape="box"];81 -> 97[label="",style="solid", color="black", weight=3];
1170[label="xz1140",fontsize=16,color="green",shape="box"];1171[label="xz1150",fontsize=16,color="green",shape="box"];1172[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 True)",fontsize=16,color="black",shape="box"];1172 -> 1213[label="",style="solid", color="black", weight=3];
1173[label="linesL0 (Char (Succ xz111) : xz112) (span2Span1 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 False)",fontsize=16,color="black",shape="box"];1173 -> 1214[label="",style="solid", color="black", weight=3];
89[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) xz6 (span2Vu43 (not . primEqChar (Char (Succ xz7))) xz6)",fontsize=16,color="black",shape="box"];89 -> 107[label="",style="solid", color="black", weight=3];
1249[label="xz1230",fontsize=16,color="green",shape="box"];1250[label="xz1220",fontsize=16,color="green",shape="box"];1251[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 True))",fontsize=16,color="black",shape="box"];1251 -> 1263[label="",style="solid", color="black", weight=3];
1252[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span1 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 False))",fontsize=16,color="black",shape="box"];1252 -> 1264[label="",style="solid", color="black", weight=3];
97[label="linesLines0 (Char Zero : xz10) (span2Zs0 (not . primEqChar (Char (Succ xz11))) xz10 (span (not . primEqChar (Char (Succ xz11))) xz10))",fontsize=16,color="burlywood",shape="box"];9466[label="xz10/xz100 : xz101",fontsize=10,color="white",style="solid",shape="box"];97 -> 9466[label="",style="solid", color="burlywood", weight=9];
9466 -> 117[label="",style="solid", color="burlywood", weight=3];
9467[label="xz10/[]",fontsize=10,color="white",style="solid",shape="box"];97 -> 9467[label="",style="solid", color="burlywood", weight=9];
9467 -> 118[label="",style="solid", color="burlywood", weight=3];
1213 -> 1247[label="",style="dashed", color="red", weight=0];
1213[label="linesL0 (Char (Succ xz111) : xz112) (Char (Succ xz111) : span2Ys (not . primEqChar (Char (Succ xz113))) xz112,span2Zs (not . primEqChar (Char (Succ xz113))) xz112)",fontsize=16,color="magenta"];1213 -> 1248[label="",style="dashed", color="magenta", weight=3];
1214[label="linesL0 (Char (Succ xz111) : xz112) (span2Span0 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 otherwise)",fontsize=16,color="black",shape="box"];1214 -> 1253[label="",style="solid", color="black", weight=3];
107[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) xz6 (span (not . primEqChar (Char (Succ xz7))) xz6)",fontsize=16,color="burlywood",shape="box"];9469[label="xz6/xz60 : xz61",fontsize=10,color="white",style="solid",shape="box"];107 -> 9469[label="",style="solid", color="burlywood", weight=9];
9469 -> 129[label="",style="solid", color="burlywood", weight=3];
9470[label="xz6/[]",fontsize=10,color="white",style="solid",shape="box"];107 -> 9470[label="",style="solid", color="burlywood", weight=9];
9470 -> 130[label="",style="solid", color="burlywood", weight=3];
1263 -> 1268[label="",style="dashed", color="red", weight=0];
1263[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (Char (Succ xz119) : span2Ys (not . primEqChar (Char (Succ xz121))) xz120,span2Zs (not . primEqChar (Char (Succ xz121))) xz120))",fontsize=16,color="magenta"];1263 -> 1269[label="",style="dashed", color="magenta", weight=3];
1264[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span0 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 otherwise))",fontsize=16,color="black",shape="box"];1264 -> 1270[label="",style="solid", color="black", weight=3];
117[label="linesLines0 (Char Zero : xz100 : xz101) (span2Zs0 (not . primEqChar (Char (Succ xz11))) (xz100 : xz101) (span (not . primEqChar (Char (Succ xz11))) (xz100 : xz101)))",fontsize=16,color="black",shape="box"];117 -> 143[label="",style="solid", color="black", weight=3];
118[label="linesLines0 (Char Zero : []) (span2Zs0 (not . primEqChar (Char (Succ xz11))) [] (span (not . primEqChar (Char (Succ xz11))) []))",fontsize=16,color="black",shape="box"];118 -> 144[label="",style="solid", color="black", weight=3];
1248 -> 75[label="",style="dashed", color="red", weight=0];
1248[label="span2Ys (not . primEqChar (Char (Succ xz113))) xz112",fontsize=16,color="magenta"];1248 -> 1254[label="",style="dashed", color="magenta", weight=3];
1248 -> 1255[label="",style="dashed", color="magenta", weight=3];
1247[label="linesL0 (Char (Succ xz111) : xz112) (Char (Succ xz111) : xz124,span2Zs (not . primEqChar (Char (Succ xz113))) xz112)",fontsize=16,color="black",shape="triangle"];1247 -> 1256[label="",style="solid", color="black", weight=3];
1253[label="linesL0 (Char (Succ xz111) : xz112) (span2Span0 (not . primEqChar (Char (Succ xz113))) xz112 (not . primEqChar (Char (Succ xz113))) (Char (Succ xz111)) xz112 True)",fontsize=16,color="black",shape="box"];1253 -> 1265[label="",style="solid", color="black", weight=3];
129[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (xz60 : xz61) (span (not . primEqChar (Char (Succ xz7))) (xz60 : xz61))",fontsize=16,color="black",shape="box"];129 -> 153[label="",style="solid", color="black", weight=3];
130[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) [] (span (not . primEqChar (Char (Succ xz7))) [])",fontsize=16,color="black",shape="box"];130 -> 154[label="",style="solid", color="black", weight=3];
1269 -> 75[label="",style="dashed", color="red", weight=0];
1269[label="span2Ys (not . primEqChar (Char (Succ xz121))) xz120",fontsize=16,color="magenta"];1269 -> 1271[label="",style="dashed", color="magenta", weight=3];
1269 -> 1272[label="",style="dashed", color="magenta", weight=3];
1268[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (Char (Succ xz119) : xz127,span2Zs (not . primEqChar (Char (Succ xz121))) xz120))",fontsize=16,color="black",shape="triangle"];1268 -> 1273[label="",style="solid", color="black", weight=3];
1270[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) (span2Span0 (not . primEqChar (Char (Succ xz121))) xz120 (not . primEqChar (Char (Succ xz121))) (Char (Succ xz119)) xz120 True))",fontsize=16,color="black",shape="box"];1270 -> 1294[label="",style="solid", color="black", weight=3];
143 -> 7641[label="",style="dashed", color="red", weight=0];
143[label="linesLines0 (Char Zero : xz100 : xz101) (span2Zs0 (not . primEqChar (Char (Succ xz11))) (xz100 : xz101) (span2 (not . primEqChar (Char (Succ xz11))) (xz100 : xz101)))",fontsize=16,color="magenta"];143 -> 7642[label="",style="dashed", color="magenta", weight=3];
143 -> 7643[label="",style="dashed", color="magenta", weight=3];
143 -> 7644[label="",style="dashed", color="magenta", weight=3];
143 -> 7645[label="",style="dashed", color="magenta", weight=3];
144[label="linesLines0 (Char Zero : []) (span2Zs0 (not . primEqChar (Char (Succ xz11))) [] (span3 (not . primEqChar (Char (Succ xz11))) []))",fontsize=16,color="black",shape="box"];144 -> 166[label="",style="solid", color="black", weight=3];
1254[label="xz112",fontsize=16,color="green",shape="box"];1255[label="xz113",fontsize=16,color="green",shape="box"];1256[label="Char (Succ xz111) : xz124",fontsize=16,color="green",shape="box"];1265[label="linesL0 (Char (Succ xz111) : xz112) ([],Char (Succ xz111) : xz112)",fontsize=16,color="black",shape="box"];1265 -> 1274[label="",style="solid", color="black", weight=3];
153[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (xz60 : xz61) (span2 (not . primEqChar (Char (Succ xz7))) (xz60 : xz61))",fontsize=16,color="black",shape="box"];153 -> 176[label="",style="solid", color="black", weight=3];
154[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) [] (span3 (not . primEqChar (Char (Succ xz7))) [])",fontsize=16,color="black",shape="box"];154 -> 177[label="",style="solid", color="black", weight=3];
1271[label="xz120",fontsize=16,color="green",shape="box"];1272[label="xz121",fontsize=16,color="green",shape="box"];1273[label="linesLines0 (Char (Succ xz119) : xz120) (span2Zs (not . primEqChar (Char (Succ xz121))) xz120)",fontsize=16,color="black",shape="box"];1273 -> 1295[label="",style="solid", color="black", weight=3];
1294[label="linesLines0 (Char (Succ xz119) : xz120) (linesS'0 (Char (Succ xz119) : xz120) ([],Char (Succ xz119) : xz120))",fontsize=16,color="black",shape="box"];1294 -> 1298[label="",style="solid", color="black", weight=3];
7642[label="xz100 : xz101",fontsize=16,color="green",shape="box"];7643[label="xz11",fontsize=16,color="green",shape="box"];7644[label="xz100",fontsize=16,color="green",shape="box"];7645[label="xz101",fontsize=16,color="green",shape="box"];7641[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (xz799 : xz800) (span2 (not . primEqChar (Char (Succ xz798))) (xz799 : xz800)))",fontsize=16,color="black",shape="triangle"];7641 -> 7786[label="",style="solid", color="black", weight=3];
166[label="linesLines0 (Char Zero : []) (span2Zs0 (not . primEqChar (Char (Succ xz11))) [] ([],[]))",fontsize=16,color="black",shape="box"];166 -> 191[label="",style="solid", color="black", weight=3];
1274[label="[]",fontsize=16,color="green",shape="box"];176[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (xz60 : xz61) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz61 (not . primEqChar (Char (Succ xz7))) xz60 xz61 (not . primEqChar (Char (Succ xz7))))",fontsize=16,color="black",shape="box"];176 -> 202[label="",style="solid", color="black", weight=3];
177[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) [] ([],[])",fontsize=16,color="black",shape="box"];177 -> 203[label="",style="solid", color="black", weight=3];
1295[label="linesLines0 (Char (Succ xz119) : xz120) (span2Zs0 (not . primEqChar (Char (Succ xz121))) xz120 (span2Vu43 (not . primEqChar (Char (Succ xz121))) xz120))",fontsize=16,color="black",shape="box"];1295 -> 1299[label="",style="solid", color="black", weight=3];
1298[label="linesLines0 (Char (Succ xz119) : xz120) (Char (Succ xz119) : xz120)",fontsize=16,color="black",shape="box"];1298 -> 1307[label="",style="solid", color="black", weight=3];
7786[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (xz799 : xz800) (span2Span1 (not . primEqChar (Char (Succ xz798))) xz800 (not . primEqChar (Char (Succ xz798))) xz799 xz800 (not . primEqChar (Char (Succ xz798)))))",fontsize=16,color="black",shape="box"];7786 -> 7809[label="",style="solid", color="black", weight=3];
191[label="linesLines0 (Char Zero : []) []",fontsize=16,color="black",shape="box"];191 -> 222[label="",style="solid", color="black", weight=3];
202[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (xz60 : xz61) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz61 (not . primEqChar (Char (Succ xz7))) xz60 xz61 (not (primEqChar (Char (Succ xz7)) xz60)))",fontsize=16,color="burlywood",shape="box"];9475[label="xz60/Char xz600",fontsize=10,color="white",style="solid",shape="box"];202 -> 9475[label="",style="solid", color="burlywood", weight=9];
9475 -> 231[label="",style="solid", color="burlywood", weight=3];
203[label="[]",fontsize=16,color="green",shape="box"];1299[label="linesLines0 (Char (Succ xz119) : xz120) (span2Zs0 (not . primEqChar (Char (Succ xz121))) xz120 (span (not . primEqChar (Char (Succ xz121))) xz120))",fontsize=16,color="burlywood",shape="box"];9476[label="xz120/xz1200 : xz1201",fontsize=10,color="white",style="solid",shape="box"];1299 -> 9476[label="",style="solid", color="burlywood", weight=9];
9476 -> 1308[label="",style="solid", color="burlywood", weight=3];
9477[label="xz120/[]",fontsize=10,color="white",style="solid",shape="box"];1299 -> 9477[label="",style="solid", color="burlywood", weight=9];
9477 -> 1309[label="",style="solid", color="burlywood", weight=3];
1307 -> 3[label="",style="dashed", color="red", weight=0];
1307[label="lines xz120",fontsize=16,color="magenta"];1307 -> 1314[label="",style="dashed", color="magenta", weight=3];
7809[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (xz799 : xz800) (span2Span1 (not . primEqChar (Char (Succ xz798))) xz800 (not . primEqChar (Char (Succ xz798))) xz799 xz800 (not (primEqChar (Char (Succ xz798)) xz799))))",fontsize=16,color="burlywood",shape="box"];9479[label="xz799/Char xz7990",fontsize=10,color="white",style="solid",shape="box"];7809 -> 9479[label="",style="solid", color="burlywood", weight=9];
9479 -> 7812[label="",style="solid", color="burlywood", weight=3];
222[label="[]",fontsize=16,color="green",shape="box"];231[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (Char xz600 : xz61) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz61 (not . primEqChar (Char (Succ xz7))) (Char xz600) xz61 (not (primEqChar (Char (Succ xz7)) (Char xz600))))",fontsize=16,color="black",shape="box"];231 -> 256[label="",style="solid", color="black", weight=3];
1308[label="linesLines0 (Char (Succ xz119) : xz1200 : xz1201) (span2Zs0 (not . primEqChar (Char (Succ xz121))) (xz1200 : xz1201) (span (not . primEqChar (Char (Succ xz121))) (xz1200 : xz1201)))",fontsize=16,color="black",shape="box"];1308 -> 1315[label="",style="solid", color="black", weight=3];
1309[label="linesLines0 (Char (Succ xz119) : []) (span2Zs0 (not . primEqChar (Char (Succ xz121))) [] (span (not . primEqChar (Char (Succ xz121))) []))",fontsize=16,color="black",shape="box"];1309 -> 1316[label="",style="solid", color="black", weight=3];
1314[label="xz120",fontsize=16,color="green",shape="box"];7812[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (Char xz7990 : xz800) (span2Span1 (not . primEqChar (Char (Succ xz798))) xz800 (not . primEqChar (Char (Succ xz798))) (Char xz7990) xz800 (not (primEqChar (Char (Succ xz798)) (Char xz7990)))))",fontsize=16,color="black",shape="box"];7812 -> 7833[label="",style="solid", color="black", weight=3];
256[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (Char xz600 : xz61) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz61 (not . primEqChar (Char (Succ xz7))) (Char xz600) xz61 (not (primEqNat (Succ xz7) xz600)))",fontsize=16,color="burlywood",shape="box"];9480[label="xz600/Succ xz6000",fontsize=10,color="white",style="solid",shape="box"];256 -> 9480[label="",style="solid", color="burlywood", weight=9];
9480 -> 285[label="",style="solid", color="burlywood", weight=3];
9481[label="xz600/Zero",fontsize=10,color="white",style="solid",shape="box"];256 -> 9481[label="",style="solid", color="burlywood", weight=9];
9481 -> 286[label="",style="solid", color="burlywood", weight=3];
1315 -> 8876[label="",style="dashed", color="red", weight=0];
1315[label="linesLines0 (Char (Succ xz119) : xz1200 : xz1201) (span2Zs0 (not . primEqChar (Char (Succ xz121))) (xz1200 : xz1201) (span2 (not . primEqChar (Char (Succ xz121))) (xz1200 : xz1201)))",fontsize=16,color="magenta"];1315 -> 8877[label="",style="dashed", color="magenta", weight=3];
1315 -> 8878[label="",style="dashed", color="magenta", weight=3];
1315 -> 8879[label="",style="dashed", color="magenta", weight=3];
1315 -> 8880[label="",style="dashed", color="magenta", weight=3];
1315 -> 8881[label="",style="dashed", color="magenta", weight=3];
1316[label="linesLines0 (Char (Succ xz119) : []) (span2Zs0 (not . primEqChar (Char (Succ xz121))) [] (span3 (not . primEqChar (Char (Succ xz121))) []))",fontsize=16,color="black",shape="box"];1316 -> 1348[label="",style="solid", color="black", weight=3];
7833[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (Char xz7990 : xz800) (span2Span1 (not . primEqChar (Char (Succ xz798))) xz800 (not . primEqChar (Char (Succ xz798))) (Char xz7990) xz800 (not (primEqNat (Succ xz798) xz7990))))",fontsize=16,color="burlywood",shape="box"];9483[label="xz7990/Succ xz79900",fontsize=10,color="white",style="solid",shape="box"];7833 -> 9483[label="",style="solid", color="burlywood", weight=9];
9483 -> 7836[label="",style="solid", color="burlywood", weight=3];
9484[label="xz7990/Zero",fontsize=10,color="white",style="solid",shape="box"];7833 -> 9484[label="",style="solid", color="burlywood", weight=9];
9484 -> 7837[label="",style="solid", color="burlywood", weight=3];
285[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (Char (Succ xz6000) : xz61) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz61 (not . primEqChar (Char (Succ xz7))) (Char (Succ xz6000)) xz61 (not (primEqNat (Succ xz7) (Succ xz6000))))",fontsize=16,color="black",shape="box"];285 -> 318[label="",style="solid", color="black", weight=3];
286[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (Char Zero : xz61) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz61 (not . primEqChar (Char (Succ xz7))) (Char Zero) xz61 (not (primEqNat (Succ xz7) Zero)))",fontsize=16,color="black",shape="box"];286 -> 319[label="",style="solid", color="black", weight=3];
8877[label="xz1201",fontsize=16,color="green",shape="box"];8878[label="xz121",fontsize=16,color="green",shape="box"];8879[label="xz1200 : xz1201",fontsize=16,color="green",shape="box"];8880[label="xz1200",fontsize=16,color="green",shape="box"];8881[label="xz119",fontsize=16,color="green",shape="box"];8876[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (xz943 : xz944) (span2 (not . primEqChar (Char (Succ xz942))) (xz943 : xz944)))",fontsize=16,color="black",shape="triangle"];8876 -> 9057[label="",style="solid", color="black", weight=3];
1348[label="linesLines0 (Char (Succ xz119) : []) (span2Zs0 (not . primEqChar (Char (Succ xz121))) [] ([],[]))",fontsize=16,color="black",shape="box"];1348 -> 1354[label="",style="solid", color="black", weight=3];
7836[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (Char (Succ xz79900) : xz800) (span2Span1 (not . primEqChar (Char (Succ xz798))) xz800 (not . primEqChar (Char (Succ xz798))) (Char (Succ xz79900)) xz800 (not (primEqNat (Succ xz798) (Succ xz79900)))))",fontsize=16,color="black",shape="box"];7836 -> 7865[label="",style="solid", color="black", weight=3];
7837[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (Char Zero : xz800) (span2Span1 (not . primEqChar (Char (Succ xz798))) xz800 (not . primEqChar (Char (Succ xz798))) (Char Zero) xz800 (not (primEqNat (Succ xz798) Zero))))",fontsize=16,color="black",shape="box"];7837 -> 7866[label="",style="solid", color="black", weight=3];
318 -> 2461[label="",style="dashed", color="red", weight=0];
318[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (Char (Succ xz6000) : xz61) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz61 (not . primEqChar (Char (Succ xz7))) (Char (Succ xz6000)) xz61 (not (primEqNat xz7 xz6000)))",fontsize=16,color="magenta"];318 -> 2462[label="",style="dashed", color="magenta", weight=3];
318 -> 2463[label="",style="dashed", color="magenta", weight=3];
318 -> 2464[label="",style="dashed", color="magenta", weight=3];
318 -> 2465[label="",style="dashed", color="magenta", weight=3];
318 -> 2466[label="",style="dashed", color="magenta", weight=3];
319[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (Char Zero : xz61) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz61 (not . primEqChar (Char (Succ xz7))) (Char Zero) xz61 (not False))",fontsize=16,color="black",shape="box"];319 -> 352[label="",style="solid", color="black", weight=3];
9057[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (xz943 : xz944) (span2Span1 (not . primEqChar (Char (Succ xz942))) xz944 (not . primEqChar (Char (Succ xz942))) xz943 xz944 (not . primEqChar (Char (Succ xz942)))))",fontsize=16,color="black",shape="box"];9057 -> 9058[label="",style="solid", color="black", weight=3];
1354[label="linesLines0 (Char (Succ xz119) : []) []",fontsize=16,color="black",shape="box"];1354 -> 1374[label="",style="solid", color="black", weight=3];
7865 -> 8473[label="",style="dashed", color="red", weight=0];
7865[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (Char (Succ xz79900) : xz800) (span2Span1 (not . primEqChar (Char (Succ xz798))) xz800 (not . primEqChar (Char (Succ xz798))) (Char (Succ xz79900)) xz800 (not (primEqNat xz798 xz79900))))",fontsize=16,color="magenta"];7865 -> 8474[label="",style="dashed", color="magenta", weight=3];
7865 -> 8475[label="",style="dashed", color="magenta", weight=3];
7865 -> 8476[label="",style="dashed", color="magenta", weight=3];
7865 -> 8477[label="",style="dashed", color="magenta", weight=3];
7865 -> 8478[label="",style="dashed", color="magenta", weight=3];
7865 -> 8479[label="",style="dashed", color="magenta", weight=3];
7866[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (Char Zero : xz800) (span2Span1 (not . primEqChar (Char (Succ xz798))) xz800 (not . primEqChar (Char (Succ xz798))) (Char Zero) xz800 (not False)))",fontsize=16,color="black",shape="box"];7866 -> 7871[label="",style="solid", color="black", weight=3];
2462[label="xz6000",fontsize=16,color="green",shape="box"];2463[label="xz61",fontsize=16,color="green",shape="box"];2464[label="xz7",fontsize=16,color="green",shape="box"];2465[label="xz7",fontsize=16,color="green",shape="box"];2466[label="xz6000",fontsize=16,color="green",shape="box"];2461[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not (primEqNat xz285 xz286)))",fontsize=16,color="burlywood",shape="triangle"];9487[label="xz285/Succ xz2850",fontsize=10,color="white",style="solid",shape="box"];2461 -> 9487[label="",style="solid", color="burlywood", weight=9];
9487 -> 2512[label="",style="solid", color="burlywood", weight=3];
9488[label="xz285/Zero",fontsize=10,color="white",style="solid",shape="box"];2461 -> 9488[label="",style="solid", color="burlywood", weight=9];
9488 -> 2513[label="",style="solid", color="burlywood", weight=3];
352[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (Char Zero : xz61) (span2Span1 (not . primEqChar (Char (Succ xz7))) xz61 (not . primEqChar (Char (Succ xz7))) (Char Zero) xz61 True)",fontsize=16,color="black",shape="box"];352 -> 395[label="",style="solid", color="black", weight=3];
9058[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (xz943 : xz944) (span2Span1 (not . primEqChar (Char (Succ xz942))) xz944 (not . primEqChar (Char (Succ xz942))) xz943 xz944 (not (primEqChar (Char (Succ xz942)) xz943))))",fontsize=16,color="burlywood",shape="box"];9489[label="xz943/Char xz9430",fontsize=10,color="white",style="solid",shape="box"];9058 -> 9489[label="",style="solid", color="burlywood", weight=9];
9489 -> 9059[label="",style="solid", color="burlywood", weight=3];
1374[label="[]",fontsize=16,color="green",shape="box"];8474[label="xz797",fontsize=16,color="green",shape="box"];8475[label="xz79900",fontsize=16,color="green",shape="box"];8476[label="xz798",fontsize=16,color="green",shape="box"];8477[label="xz79900",fontsize=16,color="green",shape="box"];8478[label="xz798",fontsize=16,color="green",shape="box"];8479[label="xz800",fontsize=16,color="green",shape="box"];8473[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not (primEqNat xz891 xz892))))",fontsize=16,color="burlywood",shape="triangle"];9490[label="xz891/Succ xz8910",fontsize=10,color="white",style="solid",shape="box"];8473 -> 9490[label="",style="solid", color="burlywood", weight=9];
9490 -> 8534[label="",style="solid", color="burlywood", weight=3];
9491[label="xz891/Zero",fontsize=10,color="white",style="solid",shape="box"];8473 -> 9491[label="",style="solid", color="burlywood", weight=9];
9491 -> 8535[label="",style="solid", color="burlywood", weight=3];
7871[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (Char Zero : xz800) (span2Span1 (not . primEqChar (Char (Succ xz798))) xz800 (not . primEqChar (Char (Succ xz798))) (Char Zero) xz800 True))",fontsize=16,color="black",shape="box"];7871 -> 7885[label="",style="solid", color="black", weight=3];
2512[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not (primEqNat (Succ xz2850) xz286)))",fontsize=16,color="burlywood",shape="box"];9492[label="xz286/Succ xz2860",fontsize=10,color="white",style="solid",shape="box"];2512 -> 9492[label="",style="solid", color="burlywood", weight=9];
9492 -> 2532[label="",style="solid", color="burlywood", weight=3];
9493[label="xz286/Zero",fontsize=10,color="white",style="solid",shape="box"];2512 -> 9493[label="",style="solid", color="burlywood", weight=9];
9493 -> 2533[label="",style="solid", color="burlywood", weight=3];
2513[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not (primEqNat Zero xz286)))",fontsize=16,color="burlywood",shape="box"];9494[label="xz286/Succ xz2860",fontsize=10,color="white",style="solid",shape="box"];2513 -> 9494[label="",style="solid", color="burlywood", weight=9];
9494 -> 2534[label="",style="solid", color="burlywood", weight=3];
9495[label="xz286/Zero",fontsize=10,color="white",style="solid",shape="box"];2513 -> 9495[label="",style="solid", color="burlywood", weight=9];
9495 -> 2535[label="",style="solid", color="burlywood", weight=3];
395 -> 453[label="",style="dashed", color="red", weight=0];
395[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (Char Zero : xz61) (Char Zero : span2Ys (not . primEqChar (Char (Succ xz7))) xz61,span2Zs (not . primEqChar (Char (Succ xz7))) xz61)",fontsize=16,color="magenta"];395 -> 454[label="",style="dashed", color="magenta", weight=3];
9059[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (Char xz9430 : xz944) (span2Span1 (not . primEqChar (Char (Succ xz942))) xz944 (not . primEqChar (Char (Succ xz942))) (Char xz9430) xz944 (not (primEqChar (Char (Succ xz942)) (Char xz9430)))))",fontsize=16,color="black",shape="box"];9059 -> 9060[label="",style="solid", color="black", weight=3];
8534[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not (primEqNat (Succ xz8910) xz892))))",fontsize=16,color="burlywood",shape="box"];9497[label="xz892/Succ xz8920",fontsize=10,color="white",style="solid",shape="box"];8534 -> 9497[label="",style="solid", color="burlywood", weight=9];
9497 -> 8566[label="",style="solid", color="burlywood", weight=3];
9498[label="xz892/Zero",fontsize=10,color="white",style="solid",shape="box"];8534 -> 9498[label="",style="solid", color="burlywood", weight=9];
9498 -> 8567[label="",style="solid", color="burlywood", weight=3];
8535[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not (primEqNat Zero xz892))))",fontsize=16,color="burlywood",shape="box"];9499[label="xz892/Succ xz8920",fontsize=10,color="white",style="solid",shape="box"];8535 -> 9499[label="",style="solid", color="burlywood", weight=9];
9499 -> 8568[label="",style="solid", color="burlywood", weight=3];
9500[label="xz892/Zero",fontsize=10,color="white",style="solid",shape="box"];8535 -> 9500[label="",style="solid", color="burlywood", weight=9];
9500 -> 8569[label="",style="solid", color="burlywood", weight=3];
7885 -> 7919[label="",style="dashed", color="red", weight=0];
7885[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (Char Zero : xz800) (Char Zero : span2Ys (not . primEqChar (Char (Succ xz798))) xz800,span2Zs (not . primEqChar (Char (Succ xz798))) xz800))",fontsize=16,color="magenta"];7885 -> 7920[label="",style="dashed", color="magenta", weight=3];
2532[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not (primEqNat (Succ xz2850) (Succ xz2860))))",fontsize=16,color="black",shape="box"];2532 -> 2559[label="",style="solid", color="black", weight=3];
2533[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not (primEqNat (Succ xz2850) Zero)))",fontsize=16,color="black",shape="box"];2533 -> 2560[label="",style="solid", color="black", weight=3];
2534[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not (primEqNat Zero (Succ xz2860))))",fontsize=16,color="black",shape="box"];2534 -> 2561[label="",style="solid", color="black", weight=3];
2535[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not (primEqNat Zero Zero)))",fontsize=16,color="black",shape="box"];2535 -> 2562[label="",style="solid", color="black", weight=3];
454 -> 75[label="",style="dashed", color="red", weight=0];
454[label="span2Ys (not . primEqChar (Char (Succ xz7))) xz61",fontsize=16,color="magenta"];454 -> 501[label="",style="dashed", color="magenta", weight=3];
453[label="span2Ys0 (not . primEqChar (Char (Succ xz7))) (Char Zero : xz61) (Char Zero : xz46,span2Zs (not . primEqChar (Char (Succ xz7))) xz61)",fontsize=16,color="black",shape="triangle"];453 -> 502[label="",style="solid", color="black", weight=3];
9060[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (Char xz9430 : xz944) (span2Span1 (not . primEqChar (Char (Succ xz942))) xz944 (not . primEqChar (Char (Succ xz942))) (Char xz9430) xz944 (not (primEqNat (Succ xz942) xz9430))))",fontsize=16,color="burlywood",shape="box"];9503[label="xz9430/Succ xz94300",fontsize=10,color="white",style="solid",shape="box"];9060 -> 9503[label="",style="solid", color="burlywood", weight=9];
9503 -> 9061[label="",style="solid", color="burlywood", weight=3];
9504[label="xz9430/Zero",fontsize=10,color="white",style="solid",shape="box"];9060 -> 9504[label="",style="solid", color="burlywood", weight=9];
9504 -> 9062[label="",style="solid", color="burlywood", weight=3];
8566[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not (primEqNat (Succ xz8910) (Succ xz8920)))))",fontsize=16,color="black",shape="box"];8566 -> 8577[label="",style="solid", color="black", weight=3];
8567[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not (primEqNat (Succ xz8910) Zero))))",fontsize=16,color="black",shape="box"];8567 -> 8578[label="",style="solid", color="black", weight=3];
8568[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not (primEqNat Zero (Succ xz8920)))))",fontsize=16,color="black",shape="box"];8568 -> 8579[label="",style="solid", color="black", weight=3];
8569[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not (primEqNat Zero Zero))))",fontsize=16,color="black",shape="box"];8569 -> 8580[label="",style="solid", color="black", weight=3];
7920 -> 75[label="",style="dashed", color="red", weight=0];
7920[label="span2Ys (not . primEqChar (Char (Succ xz798))) xz800",fontsize=16,color="magenta"];7920 -> 7926[label="",style="dashed", color="magenta", weight=3];
7920 -> 7927[label="",style="dashed", color="magenta", weight=3];
7919[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (Char Zero : xz800) (Char Zero : xz815,span2Zs (not . primEqChar (Char (Succ xz798))) xz800))",fontsize=16,color="black",shape="triangle"];7919 -> 7928[label="",style="solid", color="black", weight=3];
2559 -> 2461[label="",style="dashed", color="red", weight=0];
2559[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not (primEqNat xz2850 xz2860)))",fontsize=16,color="magenta"];2559 -> 2565[label="",style="dashed", color="magenta", weight=3];
2559 -> 2566[label="",style="dashed", color="magenta", weight=3];
2560[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not False))",fontsize=16,color="black",shape="triangle"];2560 -> 2567[label="",style="solid", color="black", weight=3];
2561 -> 2560[label="",style="dashed", color="red", weight=0];
2561[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not False))",fontsize=16,color="magenta"];2562[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 (not True))",fontsize=16,color="black",shape="box"];2562 -> 2568[label="",style="solid", color="black", weight=3];
501[label="xz61",fontsize=16,color="green",shape="box"];502[label="Char Zero : xz46",fontsize=16,color="green",shape="box"];9061[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (Char (Succ xz94300) : xz944) (span2Span1 (not . primEqChar (Char (Succ xz942))) xz944 (not . primEqChar (Char (Succ xz942))) (Char (Succ xz94300)) xz944 (not (primEqNat (Succ xz942) (Succ xz94300)))))",fontsize=16,color="black",shape="box"];9061 -> 9063[label="",style="solid", color="black", weight=3];
9062[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (Char Zero : xz944) (span2Span1 (not . primEqChar (Char (Succ xz942))) xz944 (not . primEqChar (Char (Succ xz942))) (Char Zero) xz944 (not (primEqNat (Succ xz942) Zero))))",fontsize=16,color="black",shape="box"];9062 -> 9064[label="",style="solid", color="black", weight=3];
8577 -> 8473[label="",style="dashed", color="red", weight=0];
8577[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not (primEqNat xz8910 xz8920))))",fontsize=16,color="magenta"];8577 -> 8616[label="",style="dashed", color="magenta", weight=3];
8577 -> 8617[label="",style="dashed", color="magenta", weight=3];
8578[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not False)))",fontsize=16,color="black",shape="triangle"];8578 -> 8618[label="",style="solid", color="black", weight=3];
8579 -> 8578[label="",style="dashed", color="red", weight=0];
8579[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not False)))",fontsize=16,color="magenta"];8580[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 (not True)))",fontsize=16,color="black",shape="box"];8580 -> 8619[label="",style="solid", color="black", weight=3];
7926[label="xz800",fontsize=16,color="green",shape="box"];7927[label="xz798",fontsize=16,color="green",shape="box"];7928[label="linesLines0 (Char Zero : xz797) (span2Zs (not . primEqChar (Char (Succ xz798))) xz800)",fontsize=16,color="black",shape="triangle"];7928 -> 7938[label="",style="solid", color="black", weight=3];
2565[label="xz2860",fontsize=16,color="green",shape="box"];2566[label="xz2850",fontsize=16,color="green",shape="box"];2567[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 True)",fontsize=16,color="black",shape="box"];2567 -> 2576[label="",style="solid", color="black", weight=3];
2568[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span1 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 False)",fontsize=16,color="black",shape="box"];2568 -> 2577[label="",style="solid", color="black", weight=3];
9063 -> 9337[label="",style="dashed", color="red", weight=0];
9063[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (Char (Succ xz94300) : xz944) (span2Span1 (not . primEqChar (Char (Succ xz942))) xz944 (not . primEqChar (Char (Succ xz942))) (Char (Succ xz94300)) xz944 (not (primEqNat xz942 xz94300))))",fontsize=16,color="magenta"];9063 -> 9338[label="",style="dashed", color="magenta", weight=3];
9063 -> 9339[label="",style="dashed", color="magenta", weight=3];
9063 -> 9340[label="",style="dashed", color="magenta", weight=3];
9063 -> 9341[label="",style="dashed", color="magenta", weight=3];
9063 -> 9342[label="",style="dashed", color="magenta", weight=3];
9063 -> 9343[label="",style="dashed", color="magenta", weight=3];
9063 -> 9344[label="",style="dashed", color="magenta", weight=3];
9064[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (Char Zero : xz944) (span2Span1 (not . primEqChar (Char (Succ xz942))) xz944 (not . primEqChar (Char (Succ xz942))) (Char Zero) xz944 (not False)))",fontsize=16,color="black",shape="box"];9064 -> 9067[label="",style="solid", color="black", weight=3];
8616[label="xz8920",fontsize=16,color="green",shape="box"];8617[label="xz8910",fontsize=16,color="green",shape="box"];8618[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 True))",fontsize=16,color="black",shape="box"];8618 -> 8642[label="",style="solid", color="black", weight=3];
8619[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span1 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 False))",fontsize=16,color="black",shape="box"];8619 -> 8643[label="",style="solid", color="black", weight=3];
7938[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) xz800 (span2Vu43 (not . primEqChar (Char (Succ xz798))) xz800))",fontsize=16,color="black",shape="box"];7938 -> 7965[label="",style="solid", color="black", weight=3];
2576 -> 2652[label="",style="dashed", color="red", weight=0];
2576[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (Char (Succ xz283) : span2Ys (not . primEqChar (Char (Succ xz282))) xz284,span2Zs (not . primEqChar (Char (Succ xz282))) xz284)",fontsize=16,color="magenta"];2576 -> 2653[label="",style="dashed", color="magenta", weight=3];
2577[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span0 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 otherwise)",fontsize=16,color="black",shape="box"];2577 -> 2654[label="",style="solid", color="black", weight=3];
9338[label="xz942",fontsize=16,color="green",shape="box"];9339[label="xz940",fontsize=16,color="green",shape="box"];9340[label="xz94300",fontsize=16,color="green",shape="box"];9341[label="xz944",fontsize=16,color="green",shape="box"];9342[label="xz94300",fontsize=16,color="green",shape="box"];9343[label="xz942",fontsize=16,color="green",shape="box"];9344[label="xz941",fontsize=16,color="green",shape="box"];9337[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not (primEqNat xz983 xz984))))",fontsize=16,color="burlywood",shape="triangle"];9512[label="xz983/Succ xz9830",fontsize=10,color="white",style="solid",shape="box"];9337 -> 9512[label="",style="solid", color="burlywood", weight=9];
9512 -> 9408[label="",style="solid", color="burlywood", weight=3];
9513[label="xz983/Zero",fontsize=10,color="white",style="solid",shape="box"];9337 -> 9513[label="",style="solid", color="burlywood", weight=9];
9513 -> 9409[label="",style="solid", color="burlywood", weight=3];
9067[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (Char Zero : xz944) (span2Span1 (not . primEqChar (Char (Succ xz942))) xz944 (not . primEqChar (Char (Succ xz942))) (Char Zero) xz944 True))",fontsize=16,color="black",shape="box"];9067 -> 9072[label="",style="solid", color="black", weight=3];
8642 -> 8647[label="",style="dashed", color="red", weight=0];
8642[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (Char (Succ xz889) : span2Ys (not . primEqChar (Char (Succ xz888))) xz890,span2Zs (not . primEqChar (Char (Succ xz888))) xz890))",fontsize=16,color="magenta"];8642 -> 8648[label="",style="dashed", color="magenta", weight=3];
8643[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span0 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 otherwise))",fontsize=16,color="black",shape="box"];8643 -> 8649[label="",style="solid", color="black", weight=3];
7965[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) xz800 (span (not . primEqChar (Char (Succ xz798))) xz800))",fontsize=16,color="burlywood",shape="box"];9515[label="xz800/xz8000 : xz8001",fontsize=10,color="white",style="solid",shape="box"];7965 -> 9515[label="",style="solid", color="burlywood", weight=9];
9515 -> 7984[label="",style="solid", color="burlywood", weight=3];
9516[label="xz800/[]",fontsize=10,color="white",style="solid",shape="box"];7965 -> 9516[label="",style="solid", color="burlywood", weight=9];
9516 -> 7985[label="",style="solid", color="burlywood", weight=3];
2653 -> 75[label="",style="dashed", color="red", weight=0];
2653[label="span2Ys (not . primEqChar (Char (Succ xz282))) xz284",fontsize=16,color="magenta"];2653 -> 2655[label="",style="dashed", color="magenta", weight=3];
2653 -> 2656[label="",style="dashed", color="magenta", weight=3];
2652[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (Char (Succ xz283) : xz298,span2Zs (not . primEqChar (Char (Succ xz282))) xz284)",fontsize=16,color="black",shape="triangle"];2652 -> 2657[label="",style="solid", color="black", weight=3];
2654[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) (span2Span0 (not . primEqChar (Char (Succ xz282))) xz284 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283)) xz284 True)",fontsize=16,color="black",shape="box"];2654 -> 2670[label="",style="solid", color="black", weight=3];
9408[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not (primEqNat (Succ xz9830) xz984))))",fontsize=16,color="burlywood",shape="box"];9518[label="xz984/Succ xz9840",fontsize=10,color="white",style="solid",shape="box"];9408 -> 9518[label="",style="solid", color="burlywood", weight=9];
9518 -> 9410[label="",style="solid", color="burlywood", weight=3];
9519[label="xz984/Zero",fontsize=10,color="white",style="solid",shape="box"];9408 -> 9519[label="",style="solid", color="burlywood", weight=9];
9519 -> 9411[label="",style="solid", color="burlywood", weight=3];
9409[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not (primEqNat Zero xz984))))",fontsize=16,color="burlywood",shape="box"];9520[label="xz984/Succ xz9840",fontsize=10,color="white",style="solid",shape="box"];9409 -> 9520[label="",style="solid", color="burlywood", weight=9];
9520 -> 9412[label="",style="solid", color="burlywood", weight=3];
9521[label="xz984/Zero",fontsize=10,color="white",style="solid",shape="box"];9409 -> 9521[label="",style="solid", color="burlywood", weight=9];
9521 -> 9413[label="",style="solid", color="burlywood", weight=3];
9072 -> 9077[label="",style="dashed", color="red", weight=0];
9072[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (Char Zero : xz944) (Char Zero : span2Ys (not . primEqChar (Char (Succ xz942))) xz944,span2Zs (not . primEqChar (Char (Succ xz942))) xz944))",fontsize=16,color="magenta"];9072 -> 9078[label="",style="dashed", color="magenta", weight=3];
8648 -> 75[label="",style="dashed", color="red", weight=0];
8648[label="span2Ys (not . primEqChar (Char (Succ xz888))) xz890",fontsize=16,color="magenta"];8648 -> 8650[label="",style="dashed", color="magenta", weight=3];
8648 -> 8651[label="",style="dashed", color="magenta", weight=3];
8647[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (Char (Succ xz889) : xz905,span2Zs (not . primEqChar (Char (Succ xz888))) xz890))",fontsize=16,color="black",shape="triangle"];8647 -> 8652[label="",style="solid", color="black", weight=3];
8649[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) (span2Span0 (not . primEqChar (Char (Succ xz888))) xz890 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889)) xz890 True))",fontsize=16,color="black",shape="box"];8649 -> 8673[label="",style="solid", color="black", weight=3];
7984[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (xz8000 : xz8001) (span (not . primEqChar (Char (Succ xz798))) (xz8000 : xz8001)))",fontsize=16,color="black",shape="box"];7984 -> 8028[label="",style="solid", color="black", weight=3];
7985[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) [] (span (not . primEqChar (Char (Succ xz798))) []))",fontsize=16,color="black",shape="box"];7985 -> 8029[label="",style="solid", color="black", weight=3];
2655[label="xz284",fontsize=16,color="green",shape="box"];2656[label="xz282",fontsize=16,color="green",shape="box"];2657[label="Char (Succ xz283) : xz298",fontsize=16,color="green",shape="box"];2670[label="span2Ys0 (not . primEqChar (Char (Succ xz282))) (Char (Succ xz283) : xz284) ([],Char (Succ xz283) : xz284)",fontsize=16,color="black",shape="box"];2670 -> 2680[label="",style="solid", color="black", weight=3];
9410[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not (primEqNat (Succ xz9830) (Succ xz9840)))))",fontsize=16,color="black",shape="box"];9410 -> 9414[label="",style="solid", color="black", weight=3];
9411[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not (primEqNat (Succ xz9830) Zero))))",fontsize=16,color="black",shape="box"];9411 -> 9415[label="",style="solid", color="black", weight=3];
9412[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not (primEqNat Zero (Succ xz9840)))))",fontsize=16,color="black",shape="box"];9412 -> 9416[label="",style="solid", color="black", weight=3];
9413[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not (primEqNat Zero Zero))))",fontsize=16,color="black",shape="box"];9413 -> 9417[label="",style="solid", color="black", weight=3];
9078 -> 75[label="",style="dashed", color="red", weight=0];
9078[label="span2Ys (not . primEqChar (Char (Succ xz942))) xz944",fontsize=16,color="magenta"];9078 -> 9084[label="",style="dashed", color="magenta", weight=3];
9078 -> 9085[label="",style="dashed", color="magenta", weight=3];
9077[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (Char Zero : xz944) (Char Zero : xz945,span2Zs (not . primEqChar (Char (Succ xz942))) xz944))",fontsize=16,color="black",shape="triangle"];9077 -> 9086[label="",style="solid", color="black", weight=3];
8650[label="xz890",fontsize=16,color="green",shape="box"];8651[label="xz888",fontsize=16,color="green",shape="box"];8652 -> 7928[label="",style="dashed", color="red", weight=0];
8652[label="linesLines0 (Char Zero : xz887) (span2Zs (not . primEqChar (Char (Succ xz888))) xz890)",fontsize=16,color="magenta"];8652 -> 8674[label="",style="dashed", color="magenta", weight=3];
8652 -> 8675[label="",style="dashed", color="magenta", weight=3];
8652 -> 8676[label="",style="dashed", color="magenta", weight=3];
8673[label="linesLines0 (Char Zero : xz887) (span2Zs0 (not . primEqChar (Char (Succ xz888))) (Char (Succ xz889) : xz890) ([],Char (Succ xz889) : xz890))",fontsize=16,color="black",shape="box"];8673 -> 8679[label="",style="solid", color="black", weight=3];
8028 -> 7641[label="",style="dashed", color="red", weight=0];
8028[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) (xz8000 : xz8001) (span2 (not . primEqChar (Char (Succ xz798))) (xz8000 : xz8001)))",fontsize=16,color="magenta"];8028 -> 8040[label="",style="dashed", color="magenta", weight=3];
8028 -> 8041[label="",style="dashed", color="magenta", weight=3];
8029[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) [] (span3 (not . primEqChar (Char (Succ xz798))) []))",fontsize=16,color="black",shape="box"];8029 -> 8042[label="",style="solid", color="black", weight=3];
2680[label="[]",fontsize=16,color="green",shape="box"];9414 -> 9337[label="",style="dashed", color="red", weight=0];
9414[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not (primEqNat xz9830 xz9840))))",fontsize=16,color="magenta"];9414 -> 9418[label="",style="dashed", color="magenta", weight=3];
9414 -> 9419[label="",style="dashed", color="magenta", weight=3];
9415[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not False)))",fontsize=16,color="black",shape="triangle"];9415 -> 9420[label="",style="solid", color="black", weight=3];
9416 -> 9415[label="",style="dashed", color="red", weight=0];
9416[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not False)))",fontsize=16,color="magenta"];9417[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 (not True)))",fontsize=16,color="black",shape="box"];9417 -> 9421[label="",style="solid", color="black", weight=3];
9084[label="xz944",fontsize=16,color="green",shape="box"];9085[label="xz942",fontsize=16,color="green",shape="box"];9086[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs (not . primEqChar (Char (Succ xz942))) xz944)",fontsize=16,color="black",shape="triangle"];9086 -> 9094[label="",style="solid", color="black", weight=3];
8674[label="xz887",fontsize=16,color="green",shape="box"];8675[label="xz888",fontsize=16,color="green",shape="box"];8676[label="xz890",fontsize=16,color="green",shape="box"];8679[label="linesLines0 (Char Zero : xz887) (Char (Succ xz889) : xz890)",fontsize=16,color="black",shape="box"];8679 -> 8710[label="",style="solid", color="black", weight=3];
8040[label="xz8000",fontsize=16,color="green",shape="box"];8041[label="xz8001",fontsize=16,color="green",shape="box"];8042[label="linesLines0 (Char Zero : xz797) (span2Zs0 (not . primEqChar (Char (Succ xz798))) [] ([],[]))",fontsize=16,color="black",shape="box"];8042 -> 8062[label="",style="solid", color="black", weight=3];
9418[label="xz9830",fontsize=16,color="green",shape="box"];9419[label="xz9840",fontsize=16,color="green",shape="box"];9420[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 True))",fontsize=16,color="black",shape="box"];9420 -> 9422[label="",style="solid", color="black", weight=3];
9421[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span1 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 False))",fontsize=16,color="black",shape="box"];9421 -> 9423[label="",style="solid", color="black", weight=3];
9094[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) xz944 (span2Vu43 (not . primEqChar (Char (Succ xz942))) xz944))",fontsize=16,color="black",shape="box"];9094 -> 9104[label="",style="solid", color="black", weight=3];
8710 -> 3[label="",style="dashed", color="red", weight=0];
8710[label="lines xz890",fontsize=16,color="magenta"];8710 -> 8713[label="",style="dashed", color="magenta", weight=3];
8062[label="linesLines0 (Char Zero : xz797) []",fontsize=16,color="black",shape="box"];8062 -> 8128[label="",style="solid", color="black", weight=3];
9422 -> 9424[label="",style="dashed", color="red", weight=0];
9422[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (Char (Succ xz981) : span2Ys (not . primEqChar (Char (Succ xz980))) xz982,span2Zs (not . primEqChar (Char (Succ xz980))) xz982))",fontsize=16,color="magenta"];9422 -> 9425[label="",style="dashed", color="magenta", weight=3];
9423[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span0 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 otherwise))",fontsize=16,color="black",shape="box"];9423 -> 9426[label="",style="solid", color="black", weight=3];
9104[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) xz944 (span (not . primEqChar (Char (Succ xz942))) xz944))",fontsize=16,color="burlywood",shape="box"];9531[label="xz944/xz9440 : xz9441",fontsize=10,color="white",style="solid",shape="box"];9104 -> 9531[label="",style="solid", color="burlywood", weight=9];
9531 -> 9117[label="",style="solid", color="burlywood", weight=3];
9532[label="xz944/[]",fontsize=10,color="white",style="solid",shape="box"];9104 -> 9532[label="",style="solid", color="burlywood", weight=9];
9532 -> 9118[label="",style="solid", color="burlywood", weight=3];
8713[label="xz890",fontsize=16,color="green",shape="box"];8128[label="[]",fontsize=16,color="green",shape="box"];9425 -> 75[label="",style="dashed", color="red", weight=0];
9425[label="span2Ys (not . primEqChar (Char (Succ xz980))) xz982",fontsize=16,color="magenta"];9425 -> 9427[label="",style="dashed", color="magenta", weight=3];
9425 -> 9428[label="",style="dashed", color="magenta", weight=3];
9424[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (Char (Succ xz981) : xz985,span2Zs (not . primEqChar (Char (Succ xz980))) xz982))",fontsize=16,color="black",shape="triangle"];9424 -> 9429[label="",style="solid", color="black", weight=3];
9426[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) (span2Span0 (not . primEqChar (Char (Succ xz980))) xz982 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981)) xz982 True))",fontsize=16,color="black",shape="box"];9426 -> 9430[label="",style="solid", color="black", weight=3];
9117[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (xz9440 : xz9441) (span (not . primEqChar (Char (Succ xz942))) (xz9440 : xz9441)))",fontsize=16,color="black",shape="box"];9117 -> 9129[label="",style="solid", color="black", weight=3];
9118[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) [] (span (not . primEqChar (Char (Succ xz942))) []))",fontsize=16,color="black",shape="box"];9118 -> 9130[label="",style="solid", color="black", weight=3];
9427[label="xz982",fontsize=16,color="green",shape="box"];9428[label="xz980",fontsize=16,color="green",shape="box"];9429 -> 9086[label="",style="dashed", color="red", weight=0];
9429[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs (not . primEqChar (Char (Succ xz980))) xz982)",fontsize=16,color="magenta"];9429 -> 9431[label="",style="dashed", color="magenta", weight=3];
9429 -> 9432[label="",style="dashed", color="magenta", weight=3];
9429 -> 9433[label="",style="dashed", color="magenta", weight=3];
9429 -> 9434[label="",style="dashed", color="magenta", weight=3];
9430[label="linesLines0 (Char (Succ xz978) : xz979) (span2Zs0 (not . primEqChar (Char (Succ xz980))) (Char (Succ xz981) : xz982) ([],Char (Succ xz981) : xz982))",fontsize=16,color="black",shape="box"];9430 -> 9435[label="",style="solid", color="black", weight=3];
9129 -> 8876[label="",style="dashed", color="red", weight=0];
9129[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) (xz9440 : xz9441) (span2 (not . primEqChar (Char (Succ xz942))) (xz9440 : xz9441)))",fontsize=16,color="magenta"];9129 -> 9141[label="",style="dashed", color="magenta", weight=3];
9129 -> 9142[label="",style="dashed", color="magenta", weight=3];
9130[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) [] (span3 (not . primEqChar (Char (Succ xz942))) []))",fontsize=16,color="black",shape="box"];9130 -> 9143[label="",style="solid", color="black", weight=3];
9431[label="xz982",fontsize=16,color="green",shape="box"];9432[label="xz980",fontsize=16,color="green",shape="box"];9433[label="xz979",fontsize=16,color="green",shape="box"];9434[label="xz978",fontsize=16,color="green",shape="box"];9435[label="linesLines0 (Char (Succ xz978) : xz979) (Char (Succ xz981) : xz982)",fontsize=16,color="black",shape="box"];9435 -> 9436[label="",style="solid", color="black", weight=3];
9141[label="xz9441",fontsize=16,color="green",shape="box"];9142[label="xz9440",fontsize=16,color="green",shape="box"];9143[label="linesLines0 (Char (Succ xz940) : xz941) (span2Zs0 (not . primEqChar (Char (Succ xz942))) [] ([],[]))",fontsize=16,color="black",shape="box"];9143 -> 9157[label="",style="solid", color="black", weight=3];
9436 -> 3[label="",style="dashed", color="red", weight=0];
9436[label="lines xz982",fontsize=16,color="magenta"];9436 -> 9437[label="",style="dashed", color="magenta", weight=3];
9157[label="linesLines0 (Char (Succ xz940) : xz941) []",fontsize=16,color="black",shape="box"];9157 -> 9168[label="",style="solid", color="black", weight=3];
9437[label="xz982",fontsize=16,color="green",shape="box"];9168[label="[]",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_span2Ys00(xz282, xz283, xz284) → new_span2Ys(xz282, xz284)
new_span2Ys0(xz282, xz283, xz284, Succ(xz2850), Zero) → new_span2Ys(xz282, xz284)
new_span2Ys0(xz282, xz283, xz284, Succ(xz2850), Succ(xz2860)) → new_span2Ys0(xz282, xz283, xz284, xz2850, xz2860)
new_span2Ys0(xz282, xz283, xz284, Zero, Succ(xz2860)) → new_span2Ys00(xz282, xz283, xz284)
new_span2Ys(xz7, :(Char(Succ(xz6000)), xz61)) → new_span2Ys0(xz7, xz6000, xz61, xz7, xz6000)
new_span2Ys(xz7, :(Char(Zero), xz61)) → new_span2Ys(xz7, xz61)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_span2Ys0(xz282, xz283, xz284, Zero, Succ(xz2860)) → new_span2Ys00(xz282, xz283, xz284)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3
new_span2Ys(xz7, :(Char(Succ(xz6000)), xz61)) → new_span2Ys0(xz7, xz6000, xz61, xz7, xz6000)
The graph contains the following edges 1 >= 1, 2 > 2, 2 > 3, 1 >= 4, 2 > 5
new_span2Ys(xz7, :(Char(Zero), xz61)) → new_span2Ys(xz7, xz61)
The graph contains the following edges 1 >= 1, 2 > 2
new_span2Ys0(xz282, xz283, xz284, Succ(xz2850), Succ(xz2860)) → new_span2Ys0(xz282, xz283, xz284, xz2850, xz2860)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
new_span2Ys0(xz282, xz283, xz284, Succ(xz2850), Zero) → new_span2Ys(xz282, xz284)
The graph contains the following edges 1 >= 1, 3 >= 2
new_span2Ys00(xz282, xz283, xz284) → new_span2Ys(xz282, xz284)
The graph contains the following edges 1 >= 1, 3 >= 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_linesL0(xz111, xz112, xz113, Succ(xz1140), Succ(xz1150)) → new_linesL0(xz111, xz112, xz113, xz1140, xz1150)

From the DPs we obtained the following set of size-change graphs:

new_linesL0(xz111, xz112, xz113, Succ(xz1140), Succ(xz1150)) → new_linesL0(xz111, xz112, xz113, xz1140, xz1150)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_linesLines0(Char(Zero), :(xz100, xz101), xz11) → new_linesLines01(:(xz100, xz101), xz11, xz100, xz101)
new_linesLines08(xz978, xz979, xz980, xz981, xz982) → new_linesLines07(xz978, xz979, xz980, xz981, xz982, new_span2Ys1(xz980, xz982))
new_linesLines013(xz887, xz888, xz889, xz890) → new_linesLines012(xz887, xz888, xz889, xz890, new_span2Ys1(xz888, xz890))
new_linesLines07(xz978, xz979, xz980, xz981, xz982, xz985) → new_linesLines09(xz978, xz979, xz980, xz982)
new_linesLines00(xz119, xz120, xz121, Succ(xz1220), Succ(xz1230)) → new_linesLines00(xz119, xz120, xz121, xz1220, xz1230)
new_linesLines01(xz797, xz798, Char(Succ(xz79900)), xz800) → new_linesLines010(xz797, xz798, xz79900, xz800, xz798, xz79900)
new_lines(:(xz30, xz31)) → new_linesLines0(xz30, xz31, Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_linesLines012(xz887, xz888, xz889, xz890, xz905) → new_linesLines014(xz887, xz888, xz890)
new_linesLines011(xz797, xz798, :(xz8000, xz8001), xz815) → new_linesLines01(xz797, xz798, xz8000, xz8001)
new_linesLines010(xz887, xz888, xz889, xz890, Succ(xz8910), Succ(xz8920)) → new_linesLines010(xz887, xz888, xz889, xz890, xz8910, xz8920)
new_linesLines010(xz887, xz888, xz889, xz890, Zero, Succ(xz8920)) → new_linesLines013(xz887, xz888, xz889, xz890)
new_linesLines04(xz940, xz941, xz942, Char(Zero), xz944) → new_linesLines06(xz940, xz941, xz942, xz944, new_span2Ys1(xz942, xz944))
new_linesLines05(xz978, xz979, xz980, xz981, xz982, Succ(xz9830), Zero) → new_linesLines07(xz978, xz979, xz980, xz981, xz982, new_span2Ys1(xz980, xz982))
new_linesLines05(xz978, xz979, xz980, xz981, xz982, Zero, Zero) → new_lines(xz982)
new_linesLines05(xz978, xz979, xz980, xz981, xz982, Succ(xz9830), Succ(xz9840)) → new_linesLines05(xz978, xz979, xz980, xz981, xz982, xz9830, xz9840)
new_linesLines02(xz119, :(xz1200, xz1201), xz127, xz121) → new_linesLines04(xz119, :(xz1200, xz1201), xz121, xz1200, xz1201)
new_linesLines01(xz797, xz798, Char(Zero), xz800) → new_linesLines011(xz797, xz798, xz800, new_span2Ys1(xz798, xz800))
new_linesLines03(xz119, xz120, xz121) → new_linesLines02(xz119, xz120, new_span2Ys1(xz121, xz120), xz121)
new_linesLines0(Char(Succ(xz900)), xz10, xz11) → new_linesLines00(xz900, xz10, xz11, xz11, xz900)
new_linesLines04(xz940, xz941, xz942, Char(Succ(xz94300)), xz944) → new_linesLines05(xz940, xz941, xz942, xz94300, xz944, xz942, xz94300)
new_linesLines09(xz940, xz941, xz942, :(xz9440, xz9441)) → new_linesLines04(xz940, xz941, xz942, xz9440, xz9441)
new_linesLines00(xz119, xz120, xz121, Zero, Zero) → new_lines(xz120)
new_linesLines010(xz887, xz888, xz889, xz890, Succ(xz8910), Zero) → new_linesLines012(xz887, xz888, xz889, xz890, new_span2Ys1(xz888, xz890))
new_linesLines014(xz797, xz798, :(xz8000, xz8001)) → new_linesLines01(xz797, xz798, xz8000, xz8001)
new_linesLines00(xz119, xz120, xz121, Zero, Succ(xz1230)) → new_linesLines03(xz119, xz120, xz121)
new_linesLines05(xz978, xz979, xz980, xz981, xz982, Zero, Succ(xz9840)) → new_linesLines08(xz978, xz979, xz980, xz981, xz982)
new_linesLines06(xz940, xz941, xz942, :(xz9440, xz9441), xz945) → new_linesLines04(xz940, xz941, xz942, xz9440, xz9441)
new_linesLines00(xz119, xz120, xz121, Succ(xz1220), Zero) → new_linesLines02(xz119, xz120, new_span2Ys1(xz121, xz120), xz121)
new_linesLines010(xz887, xz888, xz889, xz890, Zero, Zero) → new_lines(xz890)

The TRS R consists of the following rules:

new_span2Ys1(xz7, :(Char(Succ(xz6000)), xz61)) → new_span2Ys03(xz7, xz6000, xz61, xz7, xz6000)
new_span2Ys03(xz282, xz283, xz284, Succ(xz2850), Zero) → new_span2Ys01(xz282, xz283, xz284)
new_span2Ys03(xz282, xz283, xz284, Zero, Succ(xz2860)) → new_span2Ys01(xz282, xz283, xz284)
new_span2Ys03(xz282, xz283, xz284, Succ(xz2850), Succ(xz2860)) → new_span2Ys03(xz282, xz283, xz284, xz2850, xz2860)
new_span2Ys03(xz282, xz283, xz284, Zero, Zero) → []
new_span2Ys02(xz282, xz283, xz284, xz298) → :(Char(Succ(xz283)), xz298)
new_span2Ys1(xz7, :(Char(Zero), xz61)) → new_span2Ys04(xz7, xz61, new_span2Ys1(xz7, xz61))
new_span2Ys04(xz7, xz61, xz46) → :(Char(Zero), xz46)
new_span2Ys01(xz282, xz283, xz284) → new_span2Ys02(xz282, xz283, xz284, new_span2Ys1(xz282, xz284))
new_span2Ys1(xz7, []) → []

The set Q consists of the following terms:

new_span2Ys01(x0, x1, x2)
new_span2Ys03(x0, x1, x2, Zero, Zero)
new_span2Ys1(x0, :(Char(Succ(x1)), x2))
new_span2Ys02(x0, x1, x2, x3)
new_span2Ys03(x0, x1, x2, Succ(x3), Succ(x4))
new_span2Ys1(x0, [])
new_span2Ys03(x0, x1, x2, Zero, Succ(x3))
new_span2Ys04(x0, x1, x2)
new_span2Ys03(x0, x1, x2, Succ(x3), Zero)
new_span2Ys1(x0, :(Char(Zero), x1))

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_lines(:(xz30, xz31)) → new_linesLines0(xz30, xz31, Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
The graph contains the following edges 1 > 1, 1 > 2
new_linesLines07(xz978, xz979, xz980, xz981, xz982, xz985) → new_linesLines09(xz978, xz979, xz980, xz982)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 5 >= 4
new_linesLines05(xz978, xz979, xz980, xz981, xz982, Zero, Succ(xz9840)) → new_linesLines08(xz978, xz979, xz980, xz981, xz982)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 >= 5
new_linesLines012(xz887, xz888, xz889, xz890, xz905) → new_linesLines014(xz887, xz888, xz890)
The graph contains the following edges 1 >= 1, 2 >= 2, 4 >= 3
new_linesLines010(xz887, xz888, xz889, xz890, Zero, Succ(xz8920)) → new_linesLines013(xz887, xz888, xz889, xz890)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4
new_linesLines09(xz940, xz941, xz942, :(xz9440, xz9441)) → new_linesLines04(xz940, xz941, xz942, xz9440, xz9441)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 4 > 5
new_linesLines00(xz119, xz120, xz121, Succ(xz1220), Succ(xz1230)) → new_linesLines00(xz119, xz120, xz121, xz1220, xz1230)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
new_linesLines0(Char(Succ(xz900)), xz10, xz11) → new_linesLines00(xz900, xz10, xz11, xz11, xz900)
The graph contains the following edges 1 > 1, 2 >= 2, 3 >= 3, 3 >= 4, 1 > 5
new_linesLines00(xz119, xz120, xz121, Zero, Zero) → new_lines(xz120)
The graph contains the following edges 2 >= 1
new_linesLines010(xz887, xz888, xz889, xz890, Zero, Zero) → new_lines(xz890)
The graph contains the following edges 4 >= 1
new_linesLines0(Char(Zero), :(xz100, xz101), xz11) → new_linesLines01(:(xz100, xz101), xz11, xz100, xz101)
The graph contains the following edges 2 >= 1, 3 >= 2, 2 > 3, 2 > 4
new_linesLines05(xz978, xz979, xz980, xz981, xz982, Zero, Zero) → new_lines(xz982)
The graph contains the following edges 5 >= 1
new_linesLines010(xz887, xz888, xz889, xz890, Succ(xz8910), Zero) → new_linesLines012(xz887, xz888, xz889, xz890, new_span2Ys1(xz888, xz890))
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4
new_linesLines010(xz887, xz888, xz889, xz890, Succ(xz8910), Succ(xz8920)) → new_linesLines010(xz887, xz888, xz889, xz890, xz8910, xz8920)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 > 5, 6 > 6
new_linesLines014(xz797, xz798, :(xz8000, xz8001)) → new_linesLines01(xz797, xz798, xz8000, xz8001)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 3 > 4
new_linesLines011(xz797, xz798, :(xz8000, xz8001), xz815) → new_linesLines01(xz797, xz798, xz8000, xz8001)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 3 > 4
new_linesLines013(xz887, xz888, xz889, xz890) → new_linesLines012(xz887, xz888, xz889, xz890, new_span2Ys1(xz888, xz890))
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4
new_linesLines01(xz797, xz798, Char(Zero), xz800) → new_linesLines011(xz797, xz798, xz800, new_span2Ys1(xz798, xz800))
The graph contains the following edges 1 >= 1, 2 >= 2, 4 >= 3
new_linesLines01(xz797, xz798, Char(Succ(xz79900)), xz800) → new_linesLines010(xz797, xz798, xz79900, xz800, xz798, xz79900)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 >= 4, 2 >= 5, 3 > 6
new_linesLines06(xz940, xz941, xz942, :(xz9440, xz9441), xz945) → new_linesLines04(xz940, xz941, xz942, xz9440, xz9441)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 4 > 5
new_linesLines02(xz119, :(xz1200, xz1201), xz127, xz121) → new_linesLines04(xz119, :(xz1200, xz1201), xz121, xz1200, xz1201)
The graph contains the following edges 1 >= 1, 2 >= 2, 4 >= 3, 2 > 4, 2 > 5
new_linesLines05(xz978, xz979, xz980, xz981, xz982, Succ(xz9830), Zero) → new_linesLines07(xz978, xz979, xz980, xz981, xz982, new_span2Ys1(xz980, xz982))
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 >= 5
new_linesLines08(xz978, xz979, xz980, xz981, xz982) → new_linesLines07(xz978, xz979, xz980, xz981, xz982, new_span2Ys1(xz980, xz982))
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 >= 5
new_linesLines05(xz978, xz979, xz980, xz981, xz982, Succ(xz9830), Succ(xz9840)) → new_linesLines05(xz978, xz979, xz980, xz981, xz982, xz9830, xz9840)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 >= 5, 6 > 6, 7 > 7
new_linesLines04(xz940, xz941, xz942, Char(Succ(xz94300)), xz944) → new_linesLines05(xz940, xz941, xz942, xz94300, xz944, xz942, xz94300)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 >= 5, 3 >= 6, 4 > 7
new_linesLines00(xz119, xz120, xz121, Succ(xz1220), Zero) → new_linesLines02(xz119, xz120, new_span2Ys1(xz121, xz120), xz121)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 4
new_linesLines00(xz119, xz120, xz121, Zero, Succ(xz1230)) → new_linesLines03(xz119, xz120, xz121)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3
new_linesLines04(xz940, xz941, xz942, Char(Zero), xz944) → new_linesLines06(xz940, xz941, xz942, xz944, new_span2Ys1(xz942, xz944))
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 5 >= 4
new_linesLines03(xz119, xz120, xz121) → new_linesLines02(xz119, xz120, new_span2Ys1(xz121, xz120), xz121)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 4

span2Span1	xx xy p vz wu True	= (vz : span2Ys xx xy,span2Zs xx xy)
span2Span1	xx xy p vz wu False	= span2Span0 xx xy p vz wu otherwise